\begin{tabbing}
ma{-}interface{-}triggers\=\{i:l\}\+
\\[0ex](${\it es}$; $i$; $I$)
\-\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es{-}triggers(${\it es}$;$i$;ma{-}interface{-}ds($I$;$i$);$I$IdDeq($i$).2)
\end{tabbing}